Философский энциклопедический словарь - логистика
Связанные словари
Логистика
логистика
— первоначально так назывались логические исчисления. Лейбниц нередко говорил о математической логике как Л. Понимание Л. как символической или математической логики было закреплено на философском конгрессе в Женеве в сентябре 1904 по предложению Ительсона, А. Лаланда и Л. Кутюра (Логицизм).
Рейтинг статьи:
См. в других словарях
1.
(математическая логика; англ, symbolic logic) современная форма логики. Она отличается от старой, традиционной логики прежде всего своей формализированностью (т.е. принимает во внимание не содержательное значение отдельных высказываний, а лишь их синтаксические категории и их структурные связи) и тем, что ее осн. методом является логическое исчисление (это значит, что выражения можно преобразовывать согласно строгим правилам чисто формально, с ними можно производить логические выкладки). Не из необходимости, но большей частью исходя из практических соображений она широко использует символику (т.е. отдельные выражения обозначает совершенно определенными знаками) и аксиоматику (т.е. все существующие знаки определяются через несколько осн., и все законы выводятся по определенным правилам выводов из нескольких осн. правил, аксиом). Логистика в широком смысле это учение о логическом исчислении, его предпосылках и применениях, в узком смысле только учение о логическом исчислении. Логическое исчисление есть сумма логически интерпретированных исчислений. Исчисление это система знаков и правил оперирования с ними....Философский энциклопедический словарь
2.
1) этап в развитии математич. логики, связанный с работами школы Б. Рассела (см. Логицизм); 2) архаический (идущий от Лейбница) синоним термина «математич. логика»; 3) в антич. математике под Л. понимали совокупность известных в то время вычислит.(в арифметике) и измерит. (в геометрии) алгоритмов в отличие от развиваемой путём содержат. рассуждений «теоретич. математики». Под логистич. методом понимают метод построения формальной логики путём построения логистич. систем (иначе исчислений, формальных систем). ...Советский философский словарь
3.
в начале XX в. название формальной логики, изучаемой математическими методами, в частности с использованием аксиоматизации и формализации. Слово первоначально означало искусство вычисления или обычную арифметику. Г. Лейбниц употреблял его для обозначения "исчисления умозаключений", которое он пытался развить. Термин вышел из употребления, уступив место терминам математическая логика, символическая логика или логика современная. ...Словарь по логике
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2505 | |
2 | 2322 | |
3 | 1991 | |
4 | 1976 | |
5 | 1926 | |
6 | 1830 | |
7 | 1724 | |
8 | 1660 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1388 | |
13 | 1382 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1063 | |
18 | 1060 | |
19 | 1036 | |
20 | 963 |